and mathematics

Results: 43988



#Item
71Walter Tholen* (), Dept. of Mathematics and Statistics, York University, 4700 Keele Street, Toronto, Ontario M3J 1P3, Canada. Dualizing closure operators. Preliminary report. Categor

Walter Tholen* (), Dept. of Mathematics and Statistics, York University, 4700 Keele Street, Toronto, Ontario M3J 1P3, Canada. Dualizing closure operators. Preliminary report. Categor

Add to Reading List

Source URL: jointmathematicsmeetings.org

Language: English - Date: 2013-09-19 00:47:22
    72Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,

    Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,

    Add to Reading List

    Source URL: xavierleroy.org

    Language: English - Date: 2018-08-01 14:49:25
      73Maths EG is a free-to-use collection of over 3000 mathematics and statistics questions spanning topics from GCSE to undergraduate level 2. There are thousands of realisations of each question allowing for virtually unlim

      Maths EG is a free-to-use collection of over 3000 mathematics and statistics questions spanning topics from GCSE to undergraduate level 2. There are thousands of realisations of each question allowing for virtually unlim

      Add to Reading List

      Source URL: www.mathscentre.ac.uk

      Language: English - Date: 2015-06-24 06:11:51
        74c 2005 Society for Industrial and Applied Mathematics  SIAM J. OPTIM. Vol. 16, No. 2, pp. 341–357

        c 2005 Society for Industrial and Applied Mathematics  SIAM J. OPTIM. Vol. 16, No. 2, pp. 341–357

        Add to Reading List

        Source URL: www.numerical.rl.ac.uk

        Language: English - Date: 2013-12-02 06:48:04
          75Vrije Universiteit in Amsterdam Faculty of Sciences Division of Mathematics and Computer Science Department of Theoretical Computer Science MASTER’S THESIS

          Vrije Universiteit in Amsterdam Faculty of Sciences Division of Mathematics and Computer Science Department of Theoretical Computer Science MASTER’S THESIS

          Add to Reading List

          Source URL: www.ucw.cz

          Language: English - Date: 2006-10-04 14:43:05
            76The CENTRE for EDUCATION in MATHEMATICS and COMPUTING Faculty of Mathematics University of Waterloo 200 University Ave. W. Waterloo, ON, Canada N2L 3G1

            The CENTRE for EDUCATION in MATHEMATICS and COMPUTING Faculty of Mathematics University of Waterloo 200 University Ave. W. Waterloo, ON, Canada N2L 3G1

            Add to Reading List

            Source URL: cemc.uwaterloo.ca

            Language: English - Date: 2018-07-06 14:01:47
              77Hanf Numbers and Presentation Theorems in AECs John Baldwin∗ Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Will Boney†

              Hanf Numbers and Presentation Theorems in AECs John Baldwin∗ Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Will Boney†

              Add to Reading List

              Source URL: math.harvard.edu

              Language: English - Date: 2016-07-25 16:06:15
                78Mediterranean Journal for Research in Mathematics Education Vol. 10, 1, 61-102, 2011 Epistemological and Didactic Obstacles: the influence of teachers’ beliefs on the conceptual education of students1

                Mediterranean Journal for Research in Mathematics Education Vol. 10, 1, 61-102, 2011 Epistemological and Didactic Obstacles: the influence of teachers’ beliefs on the conceptual education of students1

                Add to Reading List

                Source URL: www.dm.unibo.it

                Language: English - Date: 2011-01-30 04:31:34
                  79Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa

                  Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa

                  Add to Reading List

                  Source URL: www.preining.info

                  Language: English - Date: 2014-04-03 01:14:55
                    80

                    Direct Instruction. Direct Instruction is a very structured teaching strategy suited to many subject areas, but often used in mathematics or literacy teaching. The national literacy and numeracy hours use Direct Instruc

                    Add to Reading List

                    Source URL: www.teacherstoolbox.co.uk

                    Language: English - Date: 2006-03-25 21:18:54